\begin{tabular}{|c|c|c|r|r|p{6.4cm}|}
\hline

group & \multicolumn{1}{c|}{subject} & \multicolumn{1}{c|}{source} &
\multicolumn{1}{c|}{\#loc} \Comment{& error} &
\multicolumn{1}{c|}{description} \\

\hline
\hline

\multirow{9}{*}{1} & \CodeIn{account} & \citep{doESE05} &
66 & \Comment{Y &} \multicolumn{1}{r|}{Concurrent execution of bank
  account operations} \\

& \CodeIn{alarmclock} & \citep{doESE05} & 125 & \Comment{Y &}
\multicolumn{1}{r|}{Watchdog thread that reads clock to raise alarm} \\

& \CodeIn{airline} & \citep{doESE05} & 31 & \Comment{Y &}
\multicolumn{1}{r|}{Passengers competing for seats} \\

& \CodeIn{jpapa} & \citep{jpapa} & 3,903 &
\Comment{Y &} \multicolumn{1}{r|}{Unmanned aerial vehicle}\\


& \CodeIn{montecarlo} & \citep{java-grande-forum-web-page} &  3,619 & \Comment{N &}
\multicolumn{1}{r|}{Monte Carlo simulation} \\

& \CodeIn{raxext} & \citep{doESE05} & 128 & \Comment{Y &}
\multicolumn{1}{r|}{Calendar scheduling application} \\

& \CodeIn{twostages} & \citep{doESE05} & 52 & \Comment{Y &} \multicolumn{1}{r|}{Two Stage bug pattern demo~\citep{farchi-etal-ipdps2003}} \Comment{Two Stage bug description is here: E. Farchi, Y. Nir, and S. Ur. "Concurrent bug patterns and how to test them." In Proceedings of the 9th International Conference on Computer Aided 
 Verification, June 1997} \\

& \CodeIn{weblech} & \citep{pjbench} & 1,309 & \Comment{N &}
\multicolumn{1}{r|}{Web crawler} \\

& \CodeIn{wronglock} & \citep{doESE05} & 38 & \Comment{Y &} \multicolumn{1}{r|}{Wrong lock usage demo}  \\

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  group 2: 

\hline
\hline

\multirow{6}{*}{2}   & \CodeIn{cache4j} & \citep{pjbench} & 1,096 & \Comment{Y &} \multicolumn{1}{r|}{Cache library}\\

& \CodeIn{cocome} & \citep{parizek-lhotak-ase2011} & 2,449 & \Comment{N
  &} \multicolumn{1}{r|}{Supermarket trading system} \\

& \CodeIn{credemo} & \citep{parizek-lhotak-ase2011} & 1,329 & \Comment{N &} \multicolumn{1}{r|}{Wifi provider} \\

& \CodeIn{daisy2} & \citep{parizek-lhotak-ase2011} & 880 & \Comment{N &} \multicolumn{1}{r|}{File system}\\

& \CodeIn{moldyn} & \citep{java-grande-forum-web-page}& 807 & \Comment{N &} \multicolumn{1}{r|}{Molecular dynamics simulation} \\



& \CodeIn{tsp} & \citep{pjbench} & 465 & \Comment{N &} \multicolumn{1}{r|}{Travel salesman problem} \\


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  group 3:

\hline
\hline

\multirow{8}{*}{3}   & \CodeIn{account-pecan} & \multirow{8}{*}{\citep{huang-zhang-issta2011}} & 148 & \Comment{Y &} \multicolumn{1}{r|}{Concurrent execution of bank account operations}\\

& \CodeIn{buggy} & & 385 & \multicolumn{1}{r|}{Example from PECAN's benchmark~\citep{huang-zhang-issta2011}} \\

& \CodeIn{cache4j-pecan} &  & 3,897 & \multicolumn{1}{r|}{Cache library} \\

& \CodeIn{critical} & & 70 & \multicolumn{1}{r|}{Example from PECAN's benchmark~\citep{huang-zhang-issta2011}} \\

& \CodeIn{loader} & & 148 & \multicolumn{1}{r|}{Concurrent operations on arrays} \\

& \CodeIn{manager} &  & 212 & \multicolumn{1}{r|}{Memory manager example} \\

& \CodeIn{raytracer} & & 1,924 & \Comment{N &} \multicolumn{1}{r|}{3D raytracing} \\

& \CodeIn{shop} & & 280 & \Comment{N &} \multicolumn{1}{r|}{Simulation of shopping transactions} \\

\hline
\hline
\end{tabular}

